perm filename CIRCUM.PR[F85,JMC] blob sn#806979 filedate 1985-12-08 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	circum.pr[f85,jmc]	Possible additions in proof to circumscription paper
C00003 ENDMK
CāŠ—;
circum.pr[f85,jmc]	Possible additions in proof to circumscription paper

1. Add to the section on uses of c., a remark that we sometimes would
need to assign a probability to the proposition that the known
obstacles are all there are before determining them.